Download io jar)(,(...) JAR files with dependency

java-lang from group io.ultreia.java4all (version 2.0.6)

Java Lang api extends by Ultreia.io (not guava, not commons)

Group: io.ultreia.java4all Artifact: java-lang
Show all versions Show documentation Show source

740 downloads

Artifact java-lang
Group io.ultreia.java4all
Version 2.0.6
Last update 21. March 2024
Organization not specified
URL https://ultreiaio.gitlab.io/${projectId}
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

princess-smt-parser_2.13 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-smt-parser_2.13
Show all versions Show documentation Show source

0 downloads

Artifact princess-smt-parser_2.13
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess-parser_2.13 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-parser_2.13
Show all versions Show documentation Show source

0 downloads

Artifact princess-parser_2.13
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

gravitee-resource-oauth2-provider-am from group io.gravitee.resource (version 2.0.2)

The resource is defined to introspect an access_token generated by a Gravitee.io Access Management instance.

Group: io.gravitee.resource Artifact: gravitee-resource-oauth2-provider-am
Show all versions Show documentation Show source

0 downloads

Artifact gravitee-resource-oauth2-provider-am
Group io.gravitee.resource
Version 2.0.2
Last update 21. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

princess-smt-parser_2.12 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-smt-parser_2.12
Show all versions Show documentation Show source

0 downloads

Artifact princess-smt-parser_2.12
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess-parser_2.12 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-parser_2.12
Show all versions Show documentation Show source

0 downloads

Artifact princess-parser_2.12
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess-smt-parser_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-smt-parser_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess-smt-parser_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess-parser_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-parser_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess-parser_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

compound-word-filter from group io.redlink.solr (version 2.0.0)

Provides compound word filters including a primary word filter and also a version of the solr.HyphenationCompoundWordTokenFilterFactory with the fix for LUCENE-8183

Group: io.redlink.solr Artifact: compound-word-filter
Show all versions Show documentation Show source

0 downloads

Artifact compound-word-filter
Group io.redlink.solr
Version 2.0.0
Last update 21. March 2024
Organization Redlink GmbH
URL https://github.com/redlink-gmbh/solr-compound-word-filter
License The Apache Software License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

quarkus-github-api from group io.quarkiverse.githubapi (version 1.321.0)

Connect to the GitHub API

Group: io.quarkiverse.githubapi Artifact: quarkus-github-api
Show all versions Show documentation Show source

0 downloads

Artifact quarkus-github-api
Group io.quarkiverse.githubapi
Version 1.321.0
Last update 21. March 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies quarkus-core, github-api, graal-sdk,
There are maybe transitive dependencies!

Page 2334 from 8644 (items total 86439)